$top-nav-height: 80px;
$top-subnav-height: 50px;
$top-height: calc($top-nav-height + $top-subnav-height);
$border-color: #e5e5e5;
$toggle-color: #bbb;
$bg-color: #f8f8f8;
$code-bg-color: #f2f2f2;
